1. Algebraic analysis of basic propositional logic
المؤلف: by: Majid Alizadeh,^AAlizadeh, Majid
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
2. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
3. Algebraic logic
المؤلف: Halmos, Paul R.)Paul Richard(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
4. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. An algebraic introduction tomathematical logic
المؤلف: Barnes, Donald W.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
6. Geometry of Subanalytic and Semialgebraic Sets
المؤلف: by Masahiro Shiota.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
7. Logic, language, information, and computation
المؤلف: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
8. Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician petr Sergeevich Novikov
المؤلف: Translated and published by Maik Nauka/Interperiodica Publishing
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
1
.
P736
Vol
.
242
9. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. The algebraic theory of switching circuits
المؤلف: Moisil, Grigore C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
11. The algebraic theory of switching circuits,
المؤلف: by Gr. C. Moisil
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic fields,Logic, Symbolic and mathematical,Switching theory
12. Toposes, algebraic geometry and logic
المؤلف: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
13. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
المؤلف: I. Bucur ... ]et al.[; edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
